Gnomit / Keyword Search / Info
Gnomit ? ? ?
Results 1 - 2 of 2 for:
haskell
1
multi-level security
1 ?
 21,213,375 websites (safe search)

  1. Galois: Home

    The Galois mission is to create trustworthiness in critical systems. To that end, Galois develops high assurance software for demanding applications.
    FPGA2
    TSE1
    crypto1
    software security1
    haskell1
    MILS1
    software assurance1
    secure software1
    secure collaboration1
    galois1
    signali1
    cross-domain1
    high assurance1
    doc server1
    high assurance software1
    cryptol1
    docserver1
    dependable software1
    doc-server1
    galois beaverton1
    galois oregon1
    galois portland1
    John Launchbury1
    Laura McKinney1
    multi-level security1
    secure mashups1
    secure mash ups1
    secure mash-ups1
    software security assurance1
    trusted services engine1
    type 1 crypto1

    galois.com - 2009-03-07

  2. Galois: cryptol

    The Galois mission is to create trustworthiness in critical systems. To that end, Galois develops high assurance software for demanding applications.
    FPGA2
    TSE1
    crypto1
    software security1
    haskell1
    MILS1
    software assurance1
    secure software1
    secure collaboration1
    galois1
    signali1
    cross-domain1
    high assurance1
    doc server1
    high assurance software1
    cryptol1
    docserver1
    dependable software1
    doc-server1
    galois beaverton1
    galois oregon1
    galois portland1
    John Launchbury1
    Laura McKinney1
    multi-level security1
    secure mashups1
    secure mash ups1
    secure mash-ups1
    software security assurance1
    trusted services engine1
    type 1 crypto1

    www.cryptol.net - 2009-02-14

hall2 jewelry5 oklahoma3 java4 city4 c++3 earrings3 mils1 j2ee2 fine jewelry2 beratung4 tulsa2 process3 beads3 laura mckinney1 secure collaboration1 product artifact protection1 tirol2 .net3 oklahoma city2 plm specialists1

About Gnomit
Keywords may contain spaces.
Separate multiple keywords with commas.
Start a new search.
Enter new keyword(s).
Narrow down your search.
Add keyword(s).
Broaden your search.
Click on Keyword to remove from query.